<html>
<head><meta charset="utf-8"><title>cargo install miri · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo.20install.20miri.html">cargo install miri</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="147546912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo%20install%20miri/near/147546912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo.20install.20miri.html#147546912">(Nov 12 2018 at 19:41)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@Oli</span> What do you think, can we make it so that <code>cargo install miri</code> will get people to run miri? I assume we'd have to (a) enable the cargo-miri feature per default, and (b) upload miri to <a href="http://creates.io" target="_blank" title="http://creates.io">creates.io</a>, and (c) re-upload it every other day to fix things for latest nightly. I have no idea how much effort the last two parts are, in particular considering that we'd likely have to re-publish fairly frequently. Can several people have publishing rights for the same crate? Do you even think we should do this?</p>



<a name="147546973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo%20install%20miri/near/147546973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo.20install.20miri.html#147546973">(Nov 12 2018 at 19:42)</a>:</h4>
<p>Actually this is probably the wrong stream... please ignore, I'll resend the same thing to <a class="stream" data-stream-id="122651" href="/#narrow/stream/122651-general">#general</a></p>



<a name="147586362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo%20install%20miri/near/147586362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo.20install.20miri.html#147586362">(Nov 13 2018 at 11:59)</a>:</h4>
<p>Is there a <code>miri</code> test runner? so that I write <code>..._RUNNER=miri cargo test</code> and my tests run on miri? Or a <code>cargo test --miri</code> or similar ?</p>



<a name="147586476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo%20install%20miri/near/147586476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/cargo.20install.20miri.html#147586476">(Nov 13 2018 at 12:00)</a>:</h4>
<p><span class="user-mention" data-user-id="132920">@gnzlbg</span> there is <code>cargo miri test</code>. However, it is <a href="https://github.com/solson/miri/issues/479" target="_blank" title="https://github.com/solson/miri/issues/479">currently broken</a>. Help welcome!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>